Formalizing and checking web service discovery models using B.

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Formalizing Web Service Choreographies

Current Web service choreography proposals, such as BPEL4WS, BPSS, WSFL, WSCDL or WSCI, provide notations for describing the message flows in Web service collaborations. However, such proposals remain at the descriptive level, without providing any kind of reasoning mechanisms or tool support for checking the compatibility of Web services based on the proposed notations. In this paper we presen...

متن کامل

Improving Web Service Discovery by Using Semantic Models

With the advent of service oriented architecture, Web services have gained tremendous popularity. This warrants the need to establish an effective and reliable process of Web service discovery. This paper presents a novel approach to enhance the accuracy of Web service discovery by finding semantically similar Web services for a user query using the support-based latent semantic kernel. The emp...

متن کامل

Securing Web Service Compositions: Formalizing Authorization Policies Using Event Calculus

Service composition is a fundamental technique for developing Web services based applications. As autonomous services are invoked through protocols, issues such as security must be taken into account. Thus, ensuring security in such a system is challenging and not supported by most of the security frameworks proposed in current literature. This paper presents a formal model for composing securi...

متن کامل

Formalizing Web Service Choreographies 1 Antonio Brogi

Current Web service choreography proposals, such as BPEL4WS, BPSS, WSFL, WSCDL or WSCI, provide notations for describing the message flows in Web service collaborations. However, such proposals remain at the descriptive level, without providing any kind of reasoning mechanisms or tool support for checking the compatibility of Web services based on the proposed notations. In this paper we presen...

متن کامل

Formalizing Service Publication and Discovery in Grid Computing Systems

Considering the autonomy of resources in the grid environment and based on the service-oriented thought, a resource management system for grid computing can be abstracted to a multi-agent system that consists of service requestor agents, service provider agents and service broker agents. For looking into the interaction characteristics of agents, the formal method is adopted. Firstly, we presen...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Computer Science and Cybernetics

سال: 2012

ISSN: 1813-9663,1813-9663

DOI: 10.15625/1813-9663/28/1/1068